Riemann Indefinite Integral of Functions of Real Variable
نویسندگان
چکیده
منابع مشابه
Riemann Indefinite Integral of Functions of Real Variable
In this article we define the Riemann indefinite integral of functions of real variable and prove the linearity of that [1]. And we give some examples of the indefinite integral of some elementary functions. Furthermore, also the theorem about integral operation and uniform convergent sequence of functions is proved. provide the terminology and notation for this paper.
متن کاملExtended Riemann Integral of Functions of Real Variable and One-sided Laplace Transform
In this article, we defined a variety of extended Riemann in-tegrals and proved that such integration is linear. Furthermore, we defined the one-sided Laplace transform and proved the linearity of that operator. the terminology and notation for this paper. In this paper a, b, r are elements of R. We now state three propositions: (1) For all real numbers a, b, g 1 , M such that a < b and 0 < g 1...
متن کاملRiemann Integral of Functions from R into Real Normed Space
Let X be a real normed space, let A be a closed-interval subset of R, let f be a function from A into the carrier of X, and let D be a Division of A. A finite sequence of elements of X is said to be a middle volume of f and D if it satisfies the conditions (Def. 1). (Def. 1)(i) len it = lenD, and (ii) for every natural number i such that i ∈ domD there exists a point c of X such that c ∈ rng(f ...
متن کاملRiemann Integral of Functions R into C
One can prove the following proposition (1) For every complex number z and for every real number r holds <(r ·z) = r · <(z) and =(r · z) = r · =(z). Let S be a finite sequence of elements of C. The functor <(S) yielding a finite sequence of elements of R is defined by: (Def. 1) <(S) = <((S qua partial function from N to C)). The functor =(S) yielding a finite sequence of elements of R is define...
متن کاملRiemann Integral of Functions from R into n-dimensional Real Normed Space
In this article, we define the Riemann integral on functions R into n-dimensional real normed space and prove the linearity of this operator. As a result, the Riemann integration can be applied to the wider range. Our method refers to the [21]. The terminology and notation used in this paper have been introduced in the E denotes an element of R n. We now state a number of propositions: (1) If a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formalized Mathematics
سال: 2007
ISSN: 1898-9934,1426-2630
DOI: 10.2478/v10037-007-0007-6